let y (q:w) = y w ++ q
    y _ = "@" in y ["a","b","c"]